A Real - Time Programmer ’ s Tour of General - Purpose L 4 Microkernels Sergio
نویسنده
چکیده
L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the challenges of tightly integrated systems, in which user interface, multimedia, OS, wireless protocols, and even software-defined radios must run on a single CPU. In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors. Since these issues can be addressed with a minimal performance loss, we conclude that, overall, the design of real-time systems based on L4-embedded is possible, and facilitated by a number of design features unique to microkernels and the L4 family.
منابع مشابه
A Real-Time Programmer's Tour of General-Purpose L4 Microkernels
L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the challenges of tightly integrated systems, in which user interface, multimedia, OS, wireless protocols, and even software-defined radios must run on a single CPU. In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caus...
متن کاملReal-Time Programming and L4 Microkernels
L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements that now faces the challenges of tightly integrated systems, where user interface, multimedia, OS, wireless protocols and even software-defined radios must run on a single CPU. This paper discusses the various aspects of real-time programming on L4-embedded, focusing on the issues caused by the...
متن کاملFormal Specification for Building Robust Real-time Microkernels
This paper presents a method based on formal specifications for building robust real-time microkernels. Temporal logic is used to specih the functional and temporal properties of real-time kernels with respect to their main services (e.g., scheduling, time, synchronization, and clock interrupts). As an example of a synchronization mechanism, the specification of the Priority Ceiling Protocol is...
متن کاملSecure Embedded Systems Need Microkernels
Gernot Heiser is professor of operating systems at the University of New South Wales and leader of the research program in embedded, real-time, and operating systems at National ICT Australia (NICTA). His research interests include microkernels and microkernel-based systems, operating systems for embedded systems, and OS-level power management, as well as general performance and scalability iss...
متن کاملEffect of electronic apex locators on cardiac pacemaker function.
The purpose of this study was to assess the effects of five electronic apex locators on pacemaker function in vitro. A Biotronik Actros DR+ pacemaker was evaluated at maximum sensitivity on a flat bench top. The pacemaker lead, electronic apex locator, and oscilloscope were connected across a 150-ohm resistor. Pace monitoring was carried out with a Biotronik EPR 1000 programmer and a Tektronix ...
متن کامل